منابع مشابه
Abstract Kripke Semantics
Kripke Semantics Yanjing Wang (Amsterdam) In this paper, we give a schema of non-standard Kripke semantics for modal logic, in which the meaning of a modality in a formula depends on the evaluation process of that formula. More precisely, in our semantics schema, the truth condition for a sub-formula [] A of B depends on the path of worlds we passed in the evaluation of B and the position of []...
متن کاملGame Semantics & Abstract Machines
The inreraciioii processes at work iii Hylund arid Oizg (HO) urid Abrniiisky, .laguciee.snii uiidMulmaria (A.JM) new game seninritics are two preexisting pavadiginatic iiiipleriieriiafioiis ojlinear head reduction: re~I7ecfively Kriviiie’s RDsfrucr Machine and Girard4 Interactiori Abstract Mncli he. There is U simple oizd tiuirrral embedding ojA.lM-ganzes to MI-ganies, mappirig sirategies to sr...
متن کاملAn algebraic perspective on valuation semantics∗
The class of so-called non-truth-functional logics constitutes a challenge to the usual algebraic based semantic tools, such as matrix semantics [ LS58]. The problem with these logics is the existence of noncongruent connectives that are not always interpreted homomorphically in a given algebra. The key idea of valuation semantics [dCB94], which arose precisely from the attempt to give some rea...
متن کاملA Constructive Valuation Semantics for ClassicalLogicFranco
The paper presents a constructive interpretation for proofs in classical logic of 0 1 sentences and for a witness extraction procedure based on Prawitz's reduction rules.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2013
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-013-9495-2